Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
321	DAC0830/DAC0832 8-Bit µP Compatible, Double-Buffered D to A Converters General Description Features Add to Reading List Source URL: www.learn-c.com Language: English - Date: 2010-04-15 16:44:04 Electromagnetism Digital-to-analog converter Differential nonlinearity Flip-flop Linear Transistor–transistor logic IC power supply pin Digital signal Digital signal processing Electronic engineering Electronics
322	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 8 Lower Bounds for Linear Satisfiability Problems ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge, Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 1999-10-13 17:17:56 Computational complexity theory Abstract algebra Linear algebra NP-complete problems Logic in computer science Boolean satisfiability problem Time complexity PP Element distinctness problem Theoretical computer science Mathematics Algebra
323	ON A LOWER BOUND FOR THE CONNECTIVITY OF THE INDEPENDENCE COMPLEX OF A GRAPH MICHAÃL ADAMASZEK † Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2014-10-30 10:03:20 Abstract algebra Algebraic topology Fundamental group Homotopy theory Homeomorphism Graph Linear temporal logic Orbifold Mathematics Graph theory Topology
324	A Linear Encoding of Pushdown Control-Flow Analysis Steven Lyde Thomas Gilray ∗ Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-11-04 14:23:30 Logic Mathematics Metaphilosophy Formal languages Metalogic Model theory Structure
325	Journal of Artificial Intelligence Research931 Submitted 01/05; publishedEngineering Note Optiplan: Unifying IP-based and Graph-based Planning Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 18:17:44 Theoretical computer science Automated planning and scheduling Logic in computer science Combinatorial optimization Linear programming Planning Domain Definition Language Fluent Constraint satisfaction CPLEX Mathematical optimization Operations research Mathematics
326	Flow-Sensitive Type Recovery in Linear-Log Time Michael D. Adams ∗ , Andrew W. Keep∗ , Jan Midtgaard† , Matthew Might‡ , Arun Chauhan∗ , R. Kent Dybvig∗ Abstract the cost of run-time type checks. This cost c Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-04-14 12:13:51 Models of computation Logic Mathematical logic Function Data-flow analysis Free variables and bound variables Algorithm Lambda calculus Monad Mathematics Elementary mathematics Theoretical computer science
327	Online Amnesic Approximation of Streaming Time Series Themistoklis Palpanas University of California, Riverside Michail Vlachos Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2003-12-20 03:52:30 Numerical analysis Computational complexity theory Digital signal processing Algorithm Mathematical logic Time complexity Priority queue Piecewise linear function Approximation Theoretical computer science Applied mathematics Mathematical analysis
328	Innovations Embedded HVSOP5 VCSP60N1 Add to Reading List Source URL: www.rohm.com Language: English Digital electronics Electronic design Logic families Integrated circuits Analog circuits Linear regulator Low-dropout regulator Power supply CMOS Electronic engineering Electromagnetism Electronics
329	A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:26:12 Mathematics Static single assignment form Golden ratio Applied mathematics Philosophy of mathematics Linear temporal logic Temporal logic Logic in computer science Computation tree logic
330	Algorithmic metatheorems for decidable LTL model checking over infinite systems Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-03 10:41:37 Formal methods Computer science Linear temporal logic Finite state transducer Model checking Finite-state machine Model theory State transition system Petri net Models of computation Automata theory Theoretical computer science

UPDATE